formula of propositional logic中文什么意思

• 命题逻辑公式

• formula:    n. (pl. formulas, -lae ) 1.公 ...
• logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• propositional formula:    命题公式
• propositional logic:    命题逻辑
• boolean algebra of propositional logic:    命题逻辑布尔代数